#ifndef __DEBUG_SERIAL_H
#define __DEBUG_SERIAL_H

#include "at32f413_board.h"
#include <stdarg.h>

void debug_port_init(uint32_t baudrate);
void debug_port_write(uint8_t* dat, uint16_t count);
void debug_port_write_hex(uint8_t* data, uint16_t count);
int debug_printf(char *format, ...);

#endif // __DEBUG_SERIAL_H
